Language - PDFSEARCH.IO - Document Search Engine

Language
Results: 167502

#	Item
11	Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2018-02-20 10:22:48
12	Regularizing and Optimizing LSTM Language Models Stephen Merity 1 Nitish Shirish Keskar 1 Richard Socher 1 arXiv:1708.02182v1 [cs.CL] 7 Aug 2017 Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-08-07 20:34:08 Artificial neural networks Artificial intelligence Computational neuroscience Learning Machine learning Applied mathematics Long short-term memory Deep learning Recurrent neural network Dropout Rnn Highway network
13	The Email Analysis Framework: Aiding the Analysis of Personal Natural Language Texts Faisal Alquaddoomi Cameron Ketcham Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-07-23 09:49:41 Computing Computer access control Microsoft Webmail Computer security Gmail OAuth Email Internet privacy Outlook.com Filter OpenAM
14	Testing Extensible Language Debuggers Domenik Pavletic Syed Aoun Raza Kolja Dummann Add to Reading List Source URL: mbeddr.com Language: English - Date: 2018-08-02 04:06:51 Debugging Computer programming Debuggers Software Breakpoint Program animation Programming tool Extensible programming
15	An Intermediate Language for the Stochastic Simulation of Biological Systems Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Mathematics Formal languages Combinatorics Theoretical computer science Mathematical logic Combinatorics on words Data types Order theory Multiset Rewriting Path ordering L-system
16	Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-07-01 05:37:09
17	Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2018-10-22 12:57:37 Mathematics Theoretical computer science Applied mathematics Logic in computer science Formal methods Computational neuroscience Artificial neural networks Proof assistants Entropy Coq N-gram Recurrent neural network
18	Statewide Issue for the November 6, 2018 General Election BALLOT LANGUAGE Issue 1 To Reduce Penalties for Crimes of Obtaining, Possessing, and Add to Reading List Source URL: www.sos.state.oh.us Language: English - Date: 2018-09-12 10:21:10 Criminal law Law Crime Criminology Probation Misdemeanor Felony Prohibition of drugs Sexual assault Recidivism United States federal probation and supervised release Expungement in the United States
19	Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-01-06 10:00:12 Computing Computer security Software engineering Computer access control Cloud standards Hacking Computer network security Web development JavaScript HTTP cookie Cross-site scripting Cross-site request forgery

UPDATE